Back Kombinatorial məntiq Azerbaijani Lògica combinatòria Catalan Kombinatorische Logik German Combinatory logic English Lógica combinatoria Spanish Logique combinatoire French Loidig cho-cheanglachail Scots/Gaelic Lóxica combinatoria Galician Kombinatorna logika Croatian Կոմբինատորային տրամաբանություն Armenian
La logica combinatoria è un approccio per eliminare la necessità di variabili quantificate nella logica matematica in connessione con il lambda calcolo. È stato introdotto da Moses Schönfinkel e Haskell Curry.[1][2] Ora è stato utilizzato anche in informatica come modello di calcolo e come base per la progettazione di linguaggi di programmazione funzionale.
Il concetto di combinatorio introdotto da Schönfinkel nel 1920 utilizza "combinatori" che forniscono un modo per costruire funzioni e rimuovere qualsiasi menzione di variabili nella logica dei predicati.[1] Un combinatore è una funzione di ordine superiore che utilizza solo l'applicazione di funzioni e combinatori definiti in precedenza per definire un risultato dai suoi argomenti.[3]
- ^ a b Schönfinkel, Moses, 1924, "Über die Bausteine der mathematischen Logik," translated as "On the Building Blocks of Mathematical Logic" in From Frege to Gödel: a source book in mathematical logic, 1879–1931, Jean van Heijenoort, ed. Harvard University Press, 1967. ISBN 0-674-32449-8.
- ^ Haskell Curry "Grundlagen der Kombinatorischen Logik" [Foundations of combinatorial logic]. American Journal of Mathematics (in German). The Johns Hopkins University Press. 52 (3): 509–536
- ^ John Tromp, "Binary Lambda Calculus and Combinatory Logic" in Calude, Cristian S. (ed.). Randomness And Complexity, from Leibniz To Chaitin. World Scientific Publishing Company 2016.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search